A Proposal for a Real-Time Extension of TTCN

نویسندگان

  • Thomas Walter
  • Jens Grabowski
چکیده

In this paper we propose an extension of TTCN (Tree and Tabular Combined Notation) to real-time TTCN. The extension is de-ned on a syntactical and semantical level. Syntactically, we provide facilities to annotate TTCN statements with two time values, namely an earliest execution time (EET) and a latest execution time (LET). The informal interpretation of these time values is that a TTCN statement may be executed if it has been continuously enabled for at least EET units and it must be executed if it has been continuously enabled for LET units. The operational semantics of real-time TTCN is deened by means of timed transition systems. In timed transition systems an execution of a system is modelled by a timed state sequence which counts for time (progress of time) and state (execution of TTCN statements) activities. We deene a mapping of real-time TTCN to timed transition systems and give examples in order to show the applicability of our approach.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Timed TTCN-3 - A Real-time Extension for TTCN-3

The Testing and Test Control Notation (TTCN-3) was originally developed as successor of the second edition of the Tree and Tabular Combined Notation. TTCN-3 is a standardized test specification and implementation language to test functional behaviour of distributed systems. TIMEDTTCN-3 is a real-time extension for TTCN-3 that supports the test and measurement of real-time requirements. TIMEDTTC...

متن کامل

TTCN - 3 – A Real - time extension for TTCN - 3

The Testing and Test Control Notation (TTCN-3) was originally developed as successor of the second edition of the Tree and Tabular Combined Notation. TTCN-3 is a standardized test specification and implementation language to test functional behaviour of distributed systems. TIMEDTTCN-3 is a real-time extension for TTCN-3 that supports the test and measurement of real-time requirements. TIMEDTTC...

متن کامل

TIMEDTTCN-3 Based Graphical Real-Time Test Specification

The textual Testing and Test Control Notation (TTCN-3) is frequently used in combination with Message Sequence Chart (MSC) and the MSC-based Graphical Presentation Format for TTCN-3 (GFT). Both, MSC and GFT allow an automatic generation of TTCN-3 test case descriptions. TIMEDTTCN-3 is an extension of TTCN-3 for testing real-time properties and has been submitted for standardization. For a compl...

متن کامل

Real-time test specification with TTCN-3

In this paper we propose an extension to the third edition of the Tree and Tabular Combined Notation (TTCN-3) to support realtime testing. Our approach is based on the separation of functional and real-time requirements in the test specification. Functional requirements are defined in form of stimuli and expected responses, i.e., in form of functional TTCN-3 test cases, and real-time requiremen...

متن کامل

Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems

Interoperability testing is an important technique to ensure the quality of implementations of network communication software, and real-time protocol interoperability testing is an important issue in this area. TIMEDTTCN-3 is a real-time extension of test specification language TTCN-3. In this paper, test notations for real-time interoperability testing are studied. Test behavior trees are cons...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997